プログラミング・セミナー パラダイムを求めて――状態遷移図の巻